do {
  play ();
} while (a);
